//]]>
Unhighlight Highlight
ECOOP 2010 – Object-Oriented Programming by D’Hondt, Theo. Publication: . XIII, 599p. 196 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Interactive Theorem Proving by Kaufmann, Matt. Publication: . XI, 495p. 82 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Quantitative Aspects of Programming Languages by Aldini, Alessandro. Publication: . VII, 169p. 31 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Languages, Methodologies, and Development Tools for Multi-Agent Systems by Dastani, Mehdi. Publication: . X, 183p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematics of Program Construction by Bolduc, Claude. Publication: . X, 427p. 57 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Applications of Evolutionary Computation by Chio, Cecilia. Publication: . XXXII, 476p. 150 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Languages: 
English |
العربية